برهان های قضایای ناتمامیت براساس پارادوکس بری
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
- author سونیا سروری مهراباد
- adviser سعید صالحی پور مهر
- publication year 1394
abstract
گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توسط راسل (5) معرفی شد.
similar resources
آیا قضایای ناتمامیت گودل را می‌توان در مکانیک کوانتومی به‌کاربرد؟
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
full textقضایای ناتمامیت گودل و راسر
در این پایاننامه، اثبات های جدیدی از قضیه ناتمامیت که در دهه 1990 به دست آمده اند، ارایه می شود، به طوری که در آن ها از لم قطری سازی برای ساختن یک جمله مستقل استفاده نمی شود.
پارادکس یابلو و قضایای ناتمامیت ریاضی
پارادُکس یابلو از چالش برانگیزترین مباحثی است که اخیراً مورد نقد و بررسی فیلسوفان، ریاضی دانان و حتی دانشمندان علوم کامپیوتر قرار گرفته است. در این پارادکس با معرفی یک سری بی پایان از جملاتی که خود-متناقض نیستند، ولی از وجود این بی نهایت جمله تناقض نتیجه می شود، ظاهراً از دور و تسلسل دوری می گردد. در حقیقت هر جمله از دنباله یابلو بیان می کند که تمامی جملات پس از او همگی نادرستند. می توان دید که و...
پارادوکس زن ستیزی-زن ستایی ( بررسی همسنج«زن» در «هزار و یک شب» و «قصه های کنتر بری»)
جایگاه و نقش «زن» در اجتماع و نگرش‌های مثبت و منفی در این باب موضوعی است که همواره، از دیرباز و پرتکرار در ادبیات شرق و غرب، از کلاسیک تا مدرن بازتاب داشته‌است. به‌ویژه امروزه با اوجگیری موج گرایش‌های اجتماعی زن‌مدار و فمینیستی و تسرّی آن به حوزة ادبیات، سخن در باب تلقی‌های یکسویه نویسندگان آثار ادبی و فراتر از آن دیدگاه‌های زن‌ستیزانه، بیش از پیش محل بحث و پژوهش است. مقاله حاضر با رویکردی به ای...
full textمروری بر نظریه اثبات
پس از آن که کانتور نظریه مجموعه ها را معرفی کرد، روش های جدید و غیرمتعارفی در ریاضیات به وجود آمد که واکنش هایی را نسبت به آن برانگیخت. امروزه تقریبا در تمام کتب ریاضی، این روشها به صورت فراگیر مشاهده می شوند و در واقع مشکل بتوان توضیح داد که چرا این مطالب روزی جنجال برانگیز بوده است. هیلبرت از روش های نظریه مجموعه ها به شدت طرفداری می کرد ولی بروز پارادوکس هایی مانند پارادوکس راسل، موجب تشویش ...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده علوم ریاضی
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023